#ifndef LECTEURPHRASESIMPLE_H
#define LECTEURPHRASESIMPLE_H

#include "LecteurSymbole.h"

class LecteurPhraseSimple {
public:
    LecteurPhraseSimple(string nomFich); // Construit un lecteur de phrase pour vérifier
                                         // la syntaxe du programme dans le fichier nomFich

    void analyse();   // Si le contenu du fichier est conforme à la grammaire,
                      // cette méthode se termine normalement et affiche un message "Syntaxe correcte".
                      // Sinon, le programme sera interrompu (exit).
        	
private:
    LecteurSymbole ls;  // le lecteur de symboles utilisé pour analyser le fichier		

    // implémentation de la grammaire
    void programme();   // <programme> ::= debut <seqInst> fin <EOF>
    void seqInst();	// <seq_ins> ::= <inst> ; { <inst> ; }
    void inst();	// <inst> ::= <affectation> | <instSi> | <instTq> | <instRepeter>
    void instSi();      // <instSi> ::= si <expBool> <seqInst> { sinonsi <expBool> <seqInst> } [ sinon <seqInst> ] finsi
    void instTq();      // <instTq> ::= tantque <expBool> <seqInst> fintantque
    void instRepeter(); // <instRepeter> ::= repeter <seqInst> jusqua <expBool>
    void instPour();    // <instPour> :: = pour ( <affectation> <expBool> ) <seqInst> finpour  
    
    void affectation();	// <affectation> ::= <variable> = <expression>
    void expression();	// <expressionArit> | <expBool> | <CHAINE>
    
    void lire();        // <lire> ::= lire ( <variable> )
    void ecrire();      // <ecrire> ::= ecrire ( <expression> | <chaine> )
    
    void expArit();     // <expressionArit> ::= <terme> { <opAdd> <terme> }
    void expBool();     // <expBool> ::= <relation> { <opBool> <relation> }
    
    void terme();       // <terme> ::= <facteur> { <opMult> <facteur> }
    void facteur();     // <facteur> ::= <entier> | <variable> | <opUnaire> <expBool> | <expBool>
    void relation();    // <relation> ::= <condition> { <et> <condition>}
    void condition();   // <condition> ::= <expression> { <opRel> <expression> }
    void opBinaire();   // <opBinaire>  ::= + | - | *  | /
    void opRel();       // <opRel> ::= == | != | < | <= | > | >=
    void opUnaire();    // <opUnaire> ::= - | non
    void opAdd();       // <opAdd> ::= + | -
    void opMult();      // <opAdd> ::= * | /
    
    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASESIMPLE_H_ */
